Skip to main content

Equivalence-Checking on Infinite-State Systems: Techniques and Results

Item Preview

SIMILAR ITEMS (based on metadata)
Arxiv.org
texts
eye 22
favorite 0
comment 0
Source: http://arxiv.org/abs/1106.5437v1
Arxiv.org
by Shigeru Yamashita; Igor L. Markov
texts
eye 36
favorite 0
comment 0
Source: http://arxiv.org/abs/0909.4119v3
Arxiv.org
by Stefan Wöhrle; Wolfgang Thomas
texts
eye 36
favorite 0
comment 0
Source: http://arxiv.org/abs/0710.5659v2
Arxiv.org
by J. C. Ndogmo
texts
eye 26
favorite 0
comment 0
Source: http://arxiv.org/abs/1110.6026v1
Arxiv.org
texts
eye 32
favorite 0
comment 0
Source: http://arxiv.org/abs/1010.4953v1
Arxiv.org
texts
eye 23
favorite 0
comment 0
Source: http://arxiv.org/abs/1302.3293v1
Arxiv.org
by Anthony Widjaja To; Leonid Libkin
texts
eye 24
favorite 0
comment 0
Source: http://arxiv.org/abs/0910.4932v2
Arxiv.org
by Nataliya M. Ivanova; Roman O. Popovych
texts
eye 28
favorite 0
comment 0
Source: http://arxiv.org/abs/math-ph/0611032v2
Arxiv.org
texts
eye 48
favorite 0
comment 0
Source: http://arxiv.org/abs/1304.2668v1
Arxiv.org
by George F. Viamontes; Igor L. Markov; John P. Hayes
texts
eye 30
favorite 0
comment 0
Source: http://arxiv.org/abs/0705.0017v2